121. Computer aided verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings
Author: Kousha Etessami, Sriram K. Rajamani )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,evaluation -- Congresses ، Electronic digital computers
Classification :
QA
76
.
L28
Vol
.
3576
122. Computer-aided verification : 8th International Conference, CAV'96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings
Author: Rajeev Alur, Thomas A. Henzinger
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation - Congresses ، Electronic digital computers
Classification :
QA
76
.
L28
Vol
.
1102
123. Computer circuit analysis: theory and applications
Author: Ilardi, Frank A.
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Electronic digital computers- Circuits,، Logic circuits,، Pulse circuits
Classification :
TK
7888
.
4
.
I4
124. Computer circuit concepts
Author: / by Saul Ritterman
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Computers- Circuits,Circuits,Integrated circuits
Classification :
TK7888
.
4
.
R5
1986
125. Computer circuit concepts
Author: Ritterman, Saul A.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Circuits ، Computers
Classification :
TK
7888
.
4
.
R58
1986
126. Computer circuit concepts
Author: Ritterman, Saul A.
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Computers- Circuits
Classification :
TK
7888
.
4
.
R58
1986
127. Computer circuit concepts
Author: Ritterman, Saul A.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Computers - Circuits
Classification :
TK
7888
.
4
.
R58
1986
128. Computer circuit concepts
پدیدآورنده : Saul Ritterman
موضوع : Computers--Circuits
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
129. Computer circuit concepts
Author: Ritterman, Saul A.
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Computers - Circuits
Classification :
TK
7888
.
4
.
R58
130. Computer circuits and how they work
Author: Wels, Byron
Library: Central Library and Documentation Center (Kerman)
Subject: ، Computers - Circuits
Classification :
TK
7885
.
W4
131. Computer circuits & how they work
Author: Wels, Byron G.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Electronic digital computers - Circuits
Classification :
TK
7888
.
3
.
W44
1974
132. Computer logic
Author: Rose, Alan
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Switching theory,، Electronic digital computers-- Circuits
Classification :
QA
401
.
R64
133. Computer logic
Author: ROSE,ALAN
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: SWITCHING THEORY , ELECTRONIC DIGITAL COMPUTERS-CIRCUITS
Classification :
QA
401
.
R64
134. Computer logic; a laboratory workbook
Author: Malmstadt, Howard V.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Switching theory,، Electronic digital computers-- Circuits
Classification :
QA
401
.
M34
135. Computer logic design
Author: Mano, M. Morris
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic circuits,، Electronic digital computers-- Circuits
Classification :
TK
7868
.
S9
.
M275
136. Computer logic design
Author: / M. Morris Mano
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Switching theory,Electronic digital computers - Circuits
Classification :
621
.
38
195
35
M285
137. Computer logic :principles and technology
Author: David Hutchison, Peter Silvester
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Electronic digital computers--Circuits,Logic circuits
Classification :
TK
،
7888
.
4
،.
H98
،
1987
138. Computer logic : principles & techniques
Author: Hutchison, David
Library: Central Library and Information Center of Birjand University (South Khorasan)
Subject: ، Logic circuits,، Electronic digital computers- circuits
Classification :
TK
7888
.
4
.
H8
C6
139. Computer networks and Internets /
Author: Douglas E. Comer, Department of Computer Sciences, Purdue University, West Lafayette, IN 47907.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks.,Internetworking (Telecommunication),Computer networks.,Internetworking (Telecommunication)
Classification :
TK5105
.
5
.
C5897
2015
140. Computers and instrumentation: a practical handbook of measurement, interfacing and control circuits
Author: Carrick, Alan
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Scientific apparatus and instruments,، Physical measurements,، Computers,، Computer interfaces,، Interface circuits
Classification :
Q
185
.
C325
